1. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)